More minor fixes for docs

Oh-oh :smile: