wysiwyg tweaks

From #6492.