minor changes to Docs files