Minor json2proto formatting