Fix the numbering in the README.