Fix verbose commandline option