Bugfix in deserializing json