Fix for MiMa tests