Fixes to docs, mostly