Fix a few footnotes.

diff --git a/dump.c b/dump.c
index 12db0c07b3dec6912f8640700d0018d6b5512817..7a6b6aabb917013f92aeb9f74ed5895bbe642835 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -1246,6 +1246,7 @@ dump_title_value(int level)
           printf("variable %d has %d values:\n", i, y);
           for (int j = 0; j < y; j++)
             {
+              match_byte(0);
               if (match_byte(3))
                 {
                   char *a = get_string();