Renamed two command-line options.