added command-line option for verbosity