Fix example numbering.