Fix #539 final state represented only once