[slime-devel] annoying bug fixed: couldn't restart SLIME