check the .mi file