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