The duplicated option has already been removed internally.