@itemize
@end itemize
-Extension: Gnulib offers a module @code{assert} that allows the installer to
+Extension: Gnulib offers a module @samp{assert} that allows the installer to
disable assertions through a @samp{configure} option: @samp{--disable-assert}.