Bug fix to deserialization