diff --git a/docs/opentitan/index.md b/docs/opentitan/index.md
index 51b5e8798bff9..b07622ebc1b82 100644
--- a/docs/opentitan/index.md
+++ b/docs/opentitan/index.md
@@ -18,7 +18,7 @@ ninja
 ninja qemu-img
 ````
 
-* `--enable-gtk` and `--enable-cococa` are only useful when using a graphical display, such as the
+* `--enable-gtk` and `--enable-cocoa` are only useful when using a graphical display, such as the
   IbexDemo platform. It is mosly useless with the OpenTitan platform.
 
     * `--enable-gtk` should be used on Linux hosts