minor fixes
select a new equivalent class of state