Fix output error of REPL