[slime-devel] Unicode character misbehavior?