Add missing period

wiki/src/install/inc/steps/pc_boot_menu.inline.html

@@ -119,7 +119,7 @@ in our [[list of known issues|support/known_issues]].</p>
 <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. To learn how to edit the BIOS settings, search for the user manual of
-the computer on the support website of the manufacturer</p>
+the computer on the support website of the manufacturer.</p>
 
 <div class="caution">
 <p>Take note of the changes that you apply to the BIOS settings. That way, you