minor fix for a json serialization problem for strings