\texttt{} no es un macro legal en páginas de documentación;
sustituido por \code{}.