See https://github.com/FInAT/FInAT/issues/96
See FInAT/FInAT#96