fix Repl bug