Fixes #119

https://github.com/gambitproject/gambit/issues/119