Bug fix in new verbose.output option