for new attribute. Tested with diff and found no difference with previous stylesheet header-file output.