Minor tweak in #to.string