Update for MIRA 4.0.1