Fix issue #806 where TinyMCE couldn't be installed if it wasn't already. Plus a couple other minor fixes.