pretty-tostring: Minor modification.