autogen: fix mistake in JSON spec