Slight mod in the docs.