Minor fixes to JSON schemas.