slight fixes to docs