Header comment typo correction