Correcting a header comment