Fixing misnumbering