Fix silly bug with verbose output