diff --git a/user/view.php b/user/view.php
index c2b1783429b..dca1d0d5f2a 100644
--- a/user/view.php
+++ b/user/view.php
@@ -144,6 +144,8 @@
 
     if ($user->deleted) {
         print_heading(get_string('userdeleted'));
+        print_footer($course);
+        die;
     }
 
 /// OK, security out the way, now we are showing the user