Edit mistake in header comment