Html entities in the toc when using a wysiwyg editor

When there are accented charachters in section titles, and a WYSIWYG module is used, the html entities are encoded twice, so the accented letters are displaced incorrectly.

I've fixed it changing the first if in the _header function as follows:

	if ($op == 'set')	{
	//	set a page title, use a placeholder if necessary ([ pagebreak ] used instead of [ header = TITLE ])
		if ($key !== null)	{
      if (module_exists('fckeditor') || module_exists('tinytinymce') || 
      module_exists('tinymce') || module_exists('htmlbox') || module_exists('jwysiwyg') || 
      module_exists('yui_editor'))
      $headers[$key]  = trim($page);
      else $headers[$key]	=	htmlspecialchars(trim($page) );
		}
     else {
      if (module_exists('fckeditor') || module_exists('tinytinymce') || 
      module_exists('tinymce') || module_exists('htmlbox') || module_exists('jwysiwyg') || 
      module_exists('yui_editor'))
      $headers[]  = isset($page) ? trim($page) : '';
      else $headers[]	=	isset($page) ? htmlspecialchars(trim($page) ) : '';
		}
	}

I think there should be a way to mark posts which have html entities encoded.