fixed a bug in MIRA