better JSON string escaping