Insert missing close-paren in command-line options help.