tiny improved UI (in verbose mode)

(cherry picked from commit 9b2ec5d9b4a8d19532ef7c6531217814d7cf27bf)