remove unnecessary procedure: char->string

This is a trivial modification.