doc: double dashes in options