--verbose (fix #939)