--- tools/lib/Format/Driver.pm~	2007-08-25 06:35:02.000000000 +0100
+++ tools/lib/Format/Driver.pm	2007-09-23 22:26:49.000000000 +0100
@@ -665,7 +665,7 @@
     $is_footnote = 0;
     push( @list_type, $list_type );
     $list_type = "taglist";
-    push( @tags, @tag );
+    push( @tags, [ @tag ] );
     @tag = ();
     $indent_level++ if $indent_level;
     push_output( 'string' );
@@ -676,7 +676,7 @@
     $taglist =~ s/\s+$//;
     &{$Format."::"._output_taglist}( "$taglist\n", pop( @p_length ) );
     $indent_level-- if $indent_level > 1;
-    @tag = pop( @tags );
+    @tag = @{ pop( @tags ) };
     $is_footnote = pop( @is_footnote );
     $list_type = pop( @list_type );
     $was_compact = $is_compact;