fix printing in the repl