Various small improvements on the docs.