Fix docs build, minor edit to docs so it builds with CI (#4335)

Fix docs build, minor edit to docs so it builds with CI (#4335) #3963