doc: minor repetitive simplification