diff --git a/awk/headers.awk b/awk/headers.awk
index 79eff45..748e91a 100644
--- a/awk/headers.awk
+++ b/awk/headers.awk
@@ -38,7 +38,7 @@ BEGIN {
     in_pre = 0
 }
 {
-    if ($0 ~ /^<pre><code>/) {
+    if ($0 ~ /^<pre><code/) {
         in_pre = 1
         if (has_prev && prev != "") { print_header(prev); has_prev = 0 }
         print