minor: consolidating the numbering in the debug printouts