cosmetic fix of REPL output