diff --git a/docs/dune.md b/docs/dune.md
index e45a0a3f11fcf21e30c508eb99aa53e6ff25bd82..fbceb4807da3ecafc6d2d6b0c16b487fbb8b2080 100644
--- a/docs/dune.md
+++ b/docs/dune.md
@@ -16,7 +16,7 @@ Useful links:
 Editor support
 --------------
 
-Good dune support in editors is lacking at the moment, but there are trick you
+Good dune support in editors is lacking at the moment, but there are tricks you
 can play to make it work.
 
 One option is to configure your editor to invoke the `dune coq top` command