Small improvement to REPL debug command.