small change to docs
small change to docs
Merge pull request #5900 from Afterburn/devel

Confirmed that these are small changes to the docs that help with the clarity.