Bug in the comment box

Hi,

I’ve got a problem with the comment box showing me the whole WYSIWYG-editor despite having deactivated the option to use Crayon in there. Can this be changed? May it be a bug?
Thanks in advance.

Best regards,
Daniel

http://wordpress.org/extend/plugins/crayon-syntax-highlighter/