Correct header comment