Numbering references to sections