Fix numbering of examples