Fix an error in the REPL.