fixed some problems with headings
[spider.git] / cmd / wwv.pl