[gambit-list] Getting rid of compiler warnings.