Update to TinyMCE 4.1.3 + small code improvements