Fix an error in the command line options from the previous commit.