Fix bug in verbose optional argument handling