Fix a few bugs in the docs #2289

Job	Run time
build (windows-latest, Debug)	11m 15s
build (macos-latest, Release)	11m 42s
build (ubuntu-latest, Debug)	6m 58s
build (ubuntu-latest, Release)	6m 59s
build (macos-latest, Debug)	7m 10s
build (windows-latest, Release)	12m 34s
publish-coverage / publish-coverage	1m 0s
	57m 38s

Provide feedback