Merge pull request #723 from wyardley/docs_fix_numbering