Fix use from the REPL