Use saner JSON format