Replacing underscore by hyphen in automatically-generated options.