In mip.pyx: fix typo in previous commit