fix a possible vio/list-order bug