docs nitpicking

More minor improvements to our docs.