If you did an upgrade to 1.5.12 you will need to go to the plugin manager and manually rename the TinyMCE plugin.