Bug fix in KnobSerialization