Bug fixed: number of cmdline args not correct.