diff --git a/doc/index.md b/doc/index.md
index 9aa0f73728097729673e6cd1d85398d6b5465dfd..2c8e1e3e7a923502987cd35d875a4f4e8c537370 100644
--- a/doc/index.md
+++ b/doc/index.md
@@ -20,8 +20,8 @@ In particular, we assume:
     * 1 NIC card
   - [VSCode](https://code.visualstudio.com/) with the [Remote SSH](https://code.visualstudio.com/docs/remote/ssh) extension
   - Working machine software:
-    - [Ubuntu Server 22.04.4 LTS](https://releases.ubuntu.com/22.04/) or [Ubuntu Server 20.04.6 LTS](https://releases.ubuntu.com/20.04/)
-    - [MicroK8s v1.24.17](https://microk8s.io/)
+    + [Ubuntu Server 22.04.4 LTS](https://releases.ubuntu.com/22.04/) or [Ubuntu Server 20.04.6 LTS](https://releases.ubuntu.com/20.04/)
+    + [MicroK8s v1.24.17](https://microk8s.io/)
 
 Use the Wiki menu in the right side of this page to navigate through the various contents of this wiki.