diff --git a/libs/base/Control/Monad/Writer/CPS.idr b/libs/base/Control/Monad/Writer/CPS.idr
index a443a5be9..e9178a161 100644
--- a/libs/base/Control/Monad/Writer/CPS.idr
+++ b/libs/base/Control/Monad/Writer/CPS.idr
@@ -11,7 +11,7 @@ import Control.Monad.Trans
 |||
 |||   @w the output to accumulate.
 |||
-|||   m@ The inner monad.
+|||   @m The inner monad.
 |||
 ||| The `pure` function produces the output `neutral`, while `>>=`
 ||| combines the outputs of the subcomputations using `<+>`.