doc: minors changes