Make translation use json_encode instead of handwritten JSON