Very slightly improved State.toString (for the empty state case).