Oops, fix header comment