[gambit-list] Proposed patch