Fix a few bugs in the docs (#1379) #2291

Job	Run time
build (ubuntu-latest, Debug)	6m 55s
build (windows-latest, Release)	9m 48s
build (ubuntu-latest, Release)	6m 49s
build (macos-latest, Debug)	8m 28s
build (windows-latest, Debug)	12m 18s
build (macos-latest, Release)	11m 21s
publish-coverage	-1s
	55m 38s

Provide feedback