Clarify some misleadingly named command-line options