[gambit-list] Doc Bug?