Fixed a numbering bug.