diff --git a/doc/manual/modeling.tex b/doc/manual/modeling.tex
index d38b2656..f6ef72bd 100644
--- a/doc/manual/modeling.tex
+++ b/doc/manual/modeling.tex
@@ -927,7 +927,8 @@ the Signal is used as an index, or when it is not used in an
 expression.  One option is to use the \code{val} attribute, as in this
 example.  Another possibility is to use the \code{int()} or
 \code{bool()} functions to typecast the Signal to an integer or a
-boolean value. These functions are also useful with \class{intbv} objects.
+boolean value. These functions are also useful with \class{intbv}
+objects.
 
 As a second example, we will demonstrate how to use a list to model a
 synchronous fifo: