Fix exception in heading-obsolete-attributes-01.html.