fix int → integer in json schema