diff --git a/lib/remote.exp b/lib/remote.exp
index f2c634564d03e19a6be9bea9996d22a0a3ab7b9a..4dd6a8a638422df3a04fef1428573e695bff936b 100644
--- a/lib/remote.exp
+++ b/lib/remote.exp
@@ -440,6 +440,7 @@ proc remote_download { dest file args } {
 	if { $destfile == "" || $destfile == $file } {
 	    return $file
 	} else {
+	    verbose -log "Downloading on $dest to $destfile: $file" 2
 	    set result [catch "exec cp -p $file $destfile" output]
 	    if {[regexp "same file|are identical" $output]} {
 		set result 0