refine command-line a little