A bug in nomenclature has been fixed