http://wordpress.org/extend/plugins/rich-text-editor-for-comments/