doc: minor fixes