diff --git a/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki b/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki
index 48e14e51..4b8860bc 100644
--- a/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki
+++ b/documentation/18.01/eiffelstudio/getting_started/setup-and-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki
@@ -60,20 +60,20 @@ This will install the EiffelStudio files into /usr/local/EiffelXX. To complete t
 
 Once the files have been installed, you should define the following environment variables in order to run EiffelStudio: 
 * '''ISE_EIFFEL''' to /usr/local/EiffelXX
-* '''ISE_PLATFORM''' to linux-x86 for the 32 bits version or linux-x86-64 for the 64 bits version. We will be using '''linux-x86''' in the examples below.
+* '''ISE_PLATFORM''' to linux-x86 for the 32 bits version or linux-x86-64 for the 64 bits version. We will be using '''linux-x86-64''' in the examples below.
 and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable. 
 
 Using sh or bash as a shell, it suffices to type the following commands:
 <code>
 export ISE_EIFFEL=/usr/local/EiffelXX
-export ISE_PLATFORM=linux-x86
+export ISE_PLATFORM=linux-x86-64
 export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
 
 
 Using csh or tcsh as a shell, it suffices to type the following commands:
 <code>
 setenv ISE_EIFFEL /usr/local/EiffelXX
-setenv ISE_PLATFORM linux-x86
+setenv ISE_PLATFORM linux-x86-64
 set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>