Fix invalid RegSet::UNIV4.