diff --git a/Documentation.html b/Documentation.html
index 36560046a..ddec21d0b 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -446,10 +446,10 @@ GRANT SELECT, INSERT, UPDATE, DELETE ON <pma_db>.* TO 'pma'@'localhost';
$cfg['Servers'][$i]['host'] contains the hostname of the first
server, the second $cfg['Servers'][$i]['host'] the hostname of
the second server, etc.
- In config.default.php, there is just one section for server
- definition, however you can put as many as you need in config.inc.php,
- just copy that block or needed parts (you don't have to define all settings, just
- those you need to change).
+ In config.default.php, there is only one section for server
+ definition, however you can put as many as you need in
+ config.inc.php, copy that block or needed parts (you don't
+ have to define all settings, just those you need to change).