Better description in StateInvalidError's docstring