fixed #3151 (bad serialization with backslashes in json)