--- modules/filter/filter.module.orig 2008-06-10 22:20:14.000000000 +0200
+++ modules/filter/filter.module  2008-06-10 22:47:29.000000000 +0200
@@ -767,9 +767,9 @@
   }

   // Properly entify angles.
-  $text = preg_replace('!<([^a-zA-Z/])!', '&lt;\1', $text);
+  $text = preg_replace('!<([^a-zA-Z/\!])!', '&lt;\1', $text);
   // Split tags from text.
-  $split = preg_split('/<([^>]+?)>/', $text, -1, PREG_SPLIT_DELIM_CAPTURE);
+  $split = preg_split('/<([^>!]+?)>/', $text, -1, PREG_SPLIT_DELIM_CAPTURE);
   // Note: PHP ensures the array consists of alternating delimiters and literals
   // and begins and ends with a literal (inserting $null as required).