diff-options doc: grammar fix