Fix numbering of examples

The values were not consistent, so running the example would provide:

    error L58:not found: value add0