Lots of minor improvements to docs