--- burst.pl 2001/05/05 20:21:29 1.10 +++ burst.pl 2001/05/08 07:51:54 1.11 @@ -429,7 +429,7 @@ } $pre_ul=$post_ul=''; - if ($last_toc_title eq $title) { + if ($last_toc_title eq $title && $subtitle) { $title = $subtitle; $pre_ul='';