Doc: minor