Fixed a small problem with the verbose option.