debugger: Fixing numbering in test case