fix slow mirror repl bug