fixed an issue with the MIP scripts (haven't used it in the correct
way).