Fix in xmi_msim.h