[slime-devel] error on slime-disconnect