--- isis2stream.pl	2002/06/24 16:16:13	1.12
+++ isis2stream.pl	2002/06/24 16:49:53	1.13
@@ -522,7 +522,6 @@
 			$headline =~ s/&/∧/g;
 			$headline =~ s/</&lt;/g;
 			$headline =~ s/>/&gt;/g;
-			$headline =~ s/&lt;(\/?[bi])&gt;/<$1>/g;
 			$mps .= "H ".c_852_iso($headline)."\n";
 		} else {
 			$mps .= "H nepoznato\n";