diff --git a/doc/README_Linux.md b/doc/README_Linux.md
index f7e7faa74e..4bf6dfe26a 100755
--- a/doc/README_Linux.md
+++ b/doc/README_Linux.md
@@ -17,7 +17,7 @@ This method is intended for experienced users, who may want to use opam to insta
 - Open a shell, navigate to the download folder and execute `coq_platform_make.sh`.
 - The system will ask for sudo permissions to install prerequisites *several times* so the script is not fully unattended but all installations of dependencies are done directly after the initialization of the opam switch.
 - In case the script aborts e.g. cause of internet issues, just rerun the script.
-- The script creates a new opam switch named e.g. CP.2025.01.0~8.20~2025.01 - the exact name depends on the Coq version and package pick you selected.
+- The script creates a new opam switch named e.g. `CP.2025.01.0~8.20~2025.01` - the exact name depends on the Coq version and package pick you selected.
   This means the script does not touch your existing opam setup unless you already have a switch of this name.
 - Use the following commands to activate this switch after opening a new shell:
   - `opam switch CP.2025.01.0~8.20~2025.01` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)