JSON-encode is a little bit too verbose