fixes in numbering