Made state_highstate more useful.