[slime-devel] Two minor bugs