Utils.states - doctest completeness and bugfix