Small fix to the json parser/printer