diff --git a/docs/install.md b/docs/install.md
index c881ac8fec6bd2bef9fbcc8c9fc413dd14beb2cd..24fe6bc642d4e24f54c6ae58dc5cd853a5b27a0a 100644
--- a/docs/install.md
+++ b/docs/install.md
@@ -261,12 +261,12 @@ sudo udevadm control --reload
 
 Then, you will need to unplug and replug the key for the rule to trigger.
 
-## Verifying the installation
+## Troubleshooting
 
 To test whether the installation was successful, visit a
 [demo website](https://webauthn.io/) and try to register and login.
 
-### Troubleshooting (Linux only)
+### Linux
 
 If you have issues with the demo website, the following commands should help you
 understand whether OpenSK was installed properly.