diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php
index 4d49401e09..4ddab354c1 100644
--- a/libraries/server_privileges.lib.php
+++ b/libraries/server_privileges.lib.php
@@ -3357,7 +3357,7 @@ function PMA_getUserSpecificRights($username, $hostname, $type, $dbname = '')
 /**
  * Parses Proc_priv data
  *
- * @param string $prins Proc_priv
+ * @param string $privs Proc_priv
  *
  * @return array
  */
@@ -4343,7 +4343,6 @@ function PMA_addUser(
         $_REQUEST['old_usergroup'] ? $_REQUEST['old_usergroup'] : null;
     PMA_setUserGroup($_REQUEST['username'], $old_usergroup);
 
-
     if (isset($create_user_real)) {
         $queries[] = $create_user_real;
     }