Fix comma shortcut in slime-repl