[slime-devel] Re: typo in slime.el