diff --git a/html/inc/user_util.inc b/html/inc/user_util.inc
index c0e4162fba..399b686e00 100644
--- a/html/inc/user_util.inc
+++ b/html/inc/user_util.inc
@@ -62,6 +62,7 @@ function check_passwd_ui($user, $passwd) {
         page_tail();
         exit;
     }
+}
 
 function is_banned_email_addr($email_addr) {
     global $banned_email_domains;