diff --git a/wiki/src/install/inc/steps/pc_boot_menu.inline.html b/wiki/src/install/inc/steps/pc_boot_menu.inline.html
index 47942554da667012e28cb2880e2e8437e86cce39..861ec173ff155ecc293ca541d2879bd97e803878 100644
--- a/wiki/src/install/inc/steps/pc_boot_menu.inline.html
+++ b/wiki/src/install/inc/steps/pc_boot_menu.inline.html
@@ -47,7 +47,7 @@ following screenshot is an example of such boot menu:</p>
 </li>
 
 <li>
-  <p>Identify the potential boot menu keys for the computer depending on
+  <p>Identify the possible boot menu keys for the computer depending on
   the computer manufacturer in the following list:</p>
 
   <table>
@@ -67,7 +67,7 @@ following screenshot is an example of such boot menu:</p>
 
 <li>
   <p>Switch on the computer and immediately press several times the first
-  potential boot menu key identified in step 2.</p>
+  possible boot menu key identified in step 2.</p>
 </li>
 
 <li>
@@ -76,7 +76,7 @@ following screenshot is an example of such boot menu:</p>
 
   <p>If the computer starts on another operating system or returns an
   error message, then shut down the computer again and repeat step
-  3 for all the potential boot menu keys identified in step 2.</p>
+  3 for all the possible boot menu keys identified in step 2.</p>
 </li>
 
 </ol>
@@ -94,7 +94,7 @@ in our [[list of known issues|support/known_issues]].</p>
 
 <h3>Edit the BIOS settings</h3>
 
-<p>If none of the potential boot menu keys from the previous technique work or if
+<p>If none of the possible boot menu keys from the previous technique work or if
 the USB stick does not appear in the boot menu, you might need to edit your BIOS
 settings.</p>