Some small fixes to docs.