small fix for modular-integer