--- tinymce.module.orig 2005-04-09 15:29:32.000000000 +0200
+++ tinymce.module      2005-04-09 20:11:03.000000000 +0200
@@ -354,7 +365,9 @@
   global $base_url;
   global $user;

-  $settings = $profile['settings'];
+  // BEWARE: replace "default" in the following line by the name of the profile you want to use
+  // user roles are ignored! - dirty hack
+  $settings = $profile['default']->settings;

   // Build a default list of TinyMCE settings.