diff --git a/db_operations.php b/db_operations.php
index e49ddcb0d..558766407 100644
--- a/db_operations.php
+++ b/db_operations.php
@@ -569,7 +569,9 @@ echo __('Remove database');
if (!empty($cfg['Servers'][$server]['pmadb'])) {
$message->isError(true);
}
+ echo '
';
$message->display();
+ echo '
';
} // end if
} // end if (!$is_information_schema)
diff --git a/server_privileges.php b/server_privileges.php
index d497d7106..02eb82ac7 100644
--- a/server_privileges.php
+++ b/server_privileges.php
@@ -179,7 +179,7 @@ function PMA_RangeOfUsers($initial = '')
* @param array $row the row
* @param boolean $enableHTML add tag with tooltips
*
- * @global ressource $user_link the database connection
+ * @global resource $user_link the database connection
*
* @return array
*/