Fix for a mistake introduced in the previous commit (r24252).
The printout of copied files was incorrect.
Authored by: bugman 2014-06-23
Parent: [r24252]
Child: [r24254]