diff --git a/documentation/18.11/solutions/database-access/eiffelstore/EiffelStore-ODBC-with-PostgreSQL.wiki b/documentation/18.11/solutions/database-access/eiffelstore/EiffelStore-ODBC-with-PostgreSQL.wiki
index 0edc7cb9..ab019610 100644
--- a/documentation/18.11/solutions/database-access/eiffelstore/EiffelStore-ODBC-with-PostgreSQL.wiki
+++ b/documentation/18.11/solutions/database-access/eiffelstore/EiffelStore-ODBC-with-PostgreSQL.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Thu, 18 Oct 2018 15:19:06 GMT]]
+[[Property:modification_date|Wed, 19 Dec 2018 12:18:02 GMT]]
 [[Property:publication_date|Mon, 24 Sep 2018 12:04:18 GMT]]
 [[Property:uuid|6F78A05A-2054-4150-84FC-1D8663CA76E6]]
 [[Property:weight|5]]
@@ -143,7 +143,7 @@ encoding name too long
 
 * '''Compile C code of the Eiffel library store:'''
 
-<code>cd $YOUR_INSTALLATION_PATH/library/store/dbms/rdbms/odbc/Clib finish_freezing -library</code>
+<code>cd $ISE_EIFFEL/library/store/dbms/rdbms/odbc/Clib finish_freezing -library</code>
 
 {{note|On debian at least before finish_freezing log in as superuser doing a '''sudo -i''' }}