Header comment fixes.