Fix symbol -> string conversion.