Fixup after W3C pubrules check