bug in command-line arguments processing