--- a/src/core/command-line.cc	Thu Sep 27 12:44:29 2007 +0100
+++ b/src/core/command-line.cc	Fri Sep 28 17:13:20 2007 +0100
@@ -85,9 +85,7 @@
 void 
 CommandLine::Parse (int argc, char *argv[])
 {
-  argc--;
-  argv++;
-  while (argc > 0)
+  for (argc--, argv++; argc > 0; argc--, argv++)
     {
       // remove "--" or "-" heading.
       std::string param = *argv;
@@ -142,8 +140,6 @@
               continue;
             }
         }
-      argc--;
-      argv++;
     }
 }