dump: Title section sometimes has an extra 1 after 0x31.

diff --git a/dump.c b/dump.c
index a31cceae4409a7700dc1ea3cf4dab9ff43d0eb4c..a7ccbdc88b1cbb1facd1b19015a1fdfdbf13f229 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -267,6 +267,7 @@ dump_value_31(FILE *stream)
           if (match_byte(0x31))
             {
               /* Only one example in the corpus. */
+              match_byte(1);
               match_byte(0);
               match_byte(0);
               match_byte(0);