json serialization bugfix