A shorter cmdline option, better option naming