Fix a mistake in the header text