small edits in teh documentation