fixed header comments (#711402).