JSON serialization/deserialization now works like previous version.