Minor tweak to toString