diff --git a/user/view.php b/user/view.php
index e9818a2f834..4b24678b76d 100644
--- a/user/view.php
+++ b/user/view.php
@@ -406,13 +406,13 @@
     echo "<td></td>";
     echo "</tr></table></div>\n";
 
-
-    if (debugging() && $USER->id == $user->id) {   // TEMPORARY in DEV!   XXX TODO
+/*
+    if (debugging() && $USER->id == $user->id) {   // TEMPORARY in DEV!
         echo '<hr />';
         print_heading('DEBUG MODE:  User session variables');
         print_object($USER);
     }
-
+*/
 
     print_footer($course);