fix JSON generation