Fix mistake in nomenclature