More command-line options.