(headerids) Fixed generation of invalid HTML ID's