Header comment formatting.