improved the string representation used in the REPL