[gambit-list] Slight improvment for the debugger interface?