minor command-line change