Fix header comment