use a better numbering scheme