Bugfix in deserializer.