Make a header comment more accurate