Reword invariant's docstring a bit