Small change to header comment