Fix invalid RegSet::UNIV4.
Merge branch 'issue-113' into develop. Fixes #113.