Fixed numbering of example