Cosmetic fix of IDs for HTML links.