fixed error that caused the clockSI_coord_fsm to block in read_only txs