Fixed an error in the numeration.