diff --git a/README.md b/README.md
index 9eb571a..6ad89de 100644
--- a/README.md
+++ b/README.md
@@ -306,7 +306,7 @@ Contributions *very welcome* but first see [Contributing](#contributing).
 - [OpenXT](https://openxt.org/) - OpenXT is an open-source development toolkit for hardware-assisted security research and appliance integration.
 - [Qubes-linux-kernel](https://github.com/QubesOS/qubes-linux-kernel) - Qubes package for Linux kernel.
 - [seL4](https://sel4.systems/) - seL4 is a high-assurance, high-performance operating system microkernel.
-    -[makatea](https://trustworthy.systems/projects/TS/makatea) - Qubes OS like operating system but with seL4.
+  - [makatea](https://trustworthy.systems/projects/TS/makatea) - Qubes OS like operating system but with seL4.
 ### Unikernels
 
 - [Awesome-Unikernels](https://github.com/uniqernel/awesome-unikernels) - Secure, lightweight and high performance approach to application delivery.