Slight change in command-line arguments