bugfix in cmdline options