Fixed numbering in the doc