diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php
index 7933d24ed65a..a05f52bc9ee0 100644
--- a/libraries/server_privileges.lib.php
+++ b/libraries/server_privileges.lib.php
@@ -2262,9 +2262,9 @@ function PMA_getTableForDisplayAllTableSpecificRights($username, $hostname
  *
  * @return string HTML snippet
  */
-function PMA_getHTmlForDisplaySelectDbInEditPrivs($found_rows)
+function PMA_getHtmlForDisplaySelectDbInEditPrivs($found_rows)
 {
-    $pred_db_array =PMA_DBI_fetch_result('SHOW DATABASES;');
+    $pred_db_array = PMA_DBI_fetch_result('SHOW DATABASES;');
 
     $html_output = '<label for="text_dbname">'
         . __('Add privileges on the following database') . ':</label>' . "\n";
@@ -3056,7 +3056,7 @@ function PMA_getHtmlForDisplayUserProperties($dbname_is_wildcard,$url_dbname,
 
         if (! strlen($dbname)) {
             // no database name was given, display select db
-            $html_output .= PMA_getHTmlForDisplaySelectDbInEditPrivs($found_rows);
+            $html_output .= PMA_getHtmlForDisplaySelectDbInEditPrivs($found_rows);
 
         } else {
             $html_output .= PMA_displayTablesInEditPrivs($dbname, $found_rows);