Remove a small mistake in header