Fix a little REPL problem.