fix REPL