small edits in documentation