proper command line args