Bug fix to verbose.output