Minor change in header comment