Code style fix in copy.php file