Fixed order of refresh in execution monitor. Regarding #931.