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