Fix minor syntax error in generated json