[slime-devel] Possible typo in slime.texi; diff attached