Fix mistake in introduction.