diff --git a/lang/en/assignment.php b/lang/en/assignment.php
index 58f94598c70..638a2eed8d4 100644
--- a/lang/en/assignment.php
+++ b/lang/en/assignment.php
@@ -20,6 +20,7 @@ $string['description'] = 'Description';
 $string['duedate'] = 'Due date';
 $string['duedateno'] = 'No due date';
 $string['early'] = '$a early';
+$string['existingfiledeleted'] = 'Existing file has been deleted: $a';
 $string['failedupdatefeedback'] = 'Failed to update submission feedback for user $a';
 $string['feedback'] = 'Feedback';
 $string['feedbackupdated'] = 'Submissions feedback updated for $a people';
diff --git a/mod/assignment/lib.php b/mod/assignment/lib.php
index ceff2480cb6..689939c8f5d 100644
--- a/mod/assignment/lib.php
+++ b/mod/assignment/lib.php
@@ -530,7 +530,7 @@ function assignment_delete_user_files($assignment, $user, $exception) {
             foreach ($files as $file) {
                 if ($file != $exception) {
                     unlink("$basedir/$file");
-                    notify("Existing file '$file' has been deleted!");
+                    notify(get_string("existingfiledeleted", "assignment", $file));
                 }
             }
         }