[gambit-list] Little error in the docs?