bugfix on config/slime.el