Fixes around changing Sequential default state operator to WORST.