Update: fixes to docs