fix bug in verbose output