diff --git a/doc/libraries_ref_guide/LibDoc/Assert.tex b/doc/libraries_ref_guide/LibDoc/Assert.tex
index e4a9bfd9..3c53db83 100644
--- a/doc/libraries_ref_guide/LibDoc/Assert.tex
+++ b/doc/libraries_ref_guide/LibDoc/Assert.tex
@@ -59,7 +59,7 @@ \subsubsection{Assert}
 &  \\
 \cline{2-2}
 &\begin{libverbatim}
-function Action continuousAssert(Bool b, String s);
+module continuousAssert#(Bool b, String s)(Empty);
 \end{libverbatim}
 \\
 \hline
diff --git a/src/Libraries/Base1/Assert.bs b/src/Libraries/Base1/Assert.bs
index 37f0588a..8441fc1d 100644
--- a/src/Libraries/Base1/Assert.bs
+++ b/src/Libraries/Base1/Assert.bs
@@ -48,7 +48,7 @@ nullModule =
 --@ Continuous run-time assertion (expected to be True on each clock).
 --@ Can be used anywhere a module instantiation is valid.
 --@ \begin{libverbatim}
---@ function Action continuousAssert(Bool b);
+--@ module continuousAssert#(Bool b, String s)(Empty);
 --@ \end{libverbatim}
 continuousAssert :: (IsModule m c) => Bool -> String -> m Empty
 continuousAssert = if not testAssert then (\_ _ -> nullModule)