Minor edits on documentation