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 f96ff136b4eee8a8dcd1a8ea2d46220bc047d463..9f52461dbbfbaf5216fcfdca756dfbd82098ebae 100644
--- a/wiki/src/install/inc/steps/pc_boot_menu.inline.html
+++ b/wiki/src/install/inc/steps/pc_boot_menu.inline.html
@@ -25,7 +25,7 @@ can skip the rest of this section and <a href="#greeter">wait until
 
 </div>
 
-<h3>Getting to the boot menu</h3>
+<h3 id="boot-menu">Getting to the boot menu</h3>
 
 <p>On most computers, you can press a <em>boot menu key</em> to display
 a list of possible devices to start from. The following instructions
@@ -103,7 +103,7 @@ following screenshot is an example of such boot menu:</p>
 <p>Similar problems might have been reported already for your model of computer
 in our [[list of known issues|support/known_issues]].</p>
 
-<h3>Edit the BIOS settings</h3>
+<h3 id="bios-settings">Edit the BIOS settings</h3>
 
 <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
@@ -174,7 +174,7 @@ able to use Tails on this computer. Feel free to
 [[!toggleable id="report" text="""
 <span class="hide">[[!toggle id="report" text=""]]</span>
 
-<h3>Reporting the problem to our support team</h3>
+<h3 id="report">Reporting the problem to our support team</h3>
 
 <p>Please send the following information to [[tails-support-private@boum.org]]:</p>