diff --git a/postinstall.md b/postinstall.md
index 7702aa8d..bc4078da 100644
--- a/postinstall.md
+++ b/postinstall.md
@@ -6,7 +6,7 @@ The step called "**post-installation**" is actually the initial configuration of
 
 You can perform the post-installation with the web interface by entering in your browser :
 * **the local IP address of your server** if it is on your local network (e.g. at home !). The address typically looks like `192.168.x.y` (see 'Find your IP' on [the page about SSH](/ssh))
-* **the public IP address of your server** if your server is not on your local network. Typically, if you own a VPS, your VPS provider should have gave you the IP of the server.
+* **the public IP address of your server** if your server is not on your local network. Typically, if you own a VPS, your VPS provider should have given you the IP of the server.
 
 During the first visit, you will very likely encounter a security warning related to the certificate used by the server. For now, your server uses a self-signed certificate. You will later be able to add a certificate automatically recognized by web browsers as described in the [certificate documentation](/certificate). For now, you should add a security exception to accept the current certificate.