Very minor fix to string serialization