make MIMA happy