HOTFIX: Fix missing MIMA ignore