small fix for verbose output