Fix for slime-repl-mode