red: fix mont invm