Fixes #3632 - minor cleanups to docs