Fixed an error in the nomenclature section.