Make IEEE name consistent to help native print managers.