fixed REPL problem