#823: Documentation: minor language change

Resolves #823.