doc: minor updates