wysiwyg tweaks

From #6492.
debugging