[gambit-list] A small bug report