some fixes to docs