--- txt2html.old.awk	2007-08-20 20:09:00.000000000 +0200
+++ txt2html.awk	2007-08-20 20:04:05.000000000 +0200
@@ -140,4 +140,14 @@ BEGIN {
 }
 
 END {
+        if (env != "none") {
+                if (text)
+                        print text;
+                text = "";
+                print "</" env ">\n";
+                env = "none";
+        }
+        if (text)
+                print "<p>" text "</p>\n";
+        text = "";
 }