Fix tiny, but confusing error in documentation.