verification fixes for MInt

@andreistefanescu please review
I think this is a bug. Please make an issue.