[slime-devel] Small fixes