fix UTF-8 bug in repl

#124 fix