Trivial change but this prevents the HTML output from being erroneously italicized.
more general programs. See [`n_factorial/2`](#clpz-factorial) for an
example.
-This library uses goal_expansion/2 to automatically rewrite
+This library uses `goal_expansion/2` to automatically rewrite
constraints at compilation time so that low-level arithmetic
predicates are _automatically_ used whenever possible. For example,
the predicate: