More doc updates

Is there any reason to get rid of this sentence beyond brevity? I don't think it hurts to have it here.