Fix use of *repl-session*