Corrected missing attribute in disambig4html.html