merge in changes from MIR_1_0