MINT bugfixes
MINT changes