Fix to_json_string argument; fixes #529