[slime-devel] minor enhancements recommended!