fix UTF-8 bug in repl