Minor deserialization fix.