minor changes to Docs