[slime-devel] [PATCH] a few small fixes