diff --git a/user/edit.php b/user/edit.php
index 7d4ae94c5f5..13e19d2a952 100644
--- a/user/edit.php
+++ b/user/edit.php
@@ -209,7 +209,7 @@ if ($usernew = $userform->get_data()) {
     $usernew->timemodified = time();
 
     // Description editor element may not exist!
-    if (isset($usernew->description_editor) && isset($usernew->description_format)) {
+    if (isset($usernew->description_editor) && isset($usernew->description_editor['format'])) {
         $usernew = file_postupdate_standard_editor($usernew, 'description', $editoroptions, $personalcontext, 'user', 'profile', 0);
     }