diff --git a/doc/userdoc.org b/doc/userdoc.org
index 1547ebd6eee3789cfab19d4cb44c979970138292..814f71d8109338f58a1b01e3a5e885f7ecf8bea0 100644
--- a/doc/userdoc.org
+++ b/doc/userdoc.org
@@ -17,6 +17,10 @@
 #+LATEX_HEADER: \usepackage[hmargin=2.5cm,vmargin=1.5cm]{geometry}
 #+LATEX_HEADER: \usepackage{ae,lmodern}
 #+LATEX_HEADER: \usepackage[OT1]{fontenc}
+#+LATEX_HEADER: \usepackage{booktabs}
+#+LATEX_HEADER: \usepackage{siunitx}
+#+LATEX_HEADER: \usepackage[table]{xcolor}
+#+LATEX_HEADER: \usepackage{colortbl}
 #+LATEX_COMPILER: pdflatex --shell-escape
 
 #+LATEX_HEADER_EXTRA: \usepackage{amsmath}
@@ -24,6 +28,8 @@
 #+LATEX_HEADER_EXTRA: \usepackage{amssymb}
 #+LATEX_HEADER_EXTRA: \usepackage{xcolor}
 #+LATEX_HEADER_EXTRA: \usepackage{mdframed}
+
+#+LATEX_HEADER_EXTRA: \BeforeBeginEnvironment{tabular}{\rowcolors[]{2}{orange!5}{orange!10}}
 #+LATEX_HEADER_EXTRA: \BeforeBeginEnvironment{minted}{\begin{mdframed}[linecolor=blue,backgroundcolor=blue!5]}
 #+LATEX_HEADER_EXTRA: \AfterEndEnvironment{minted}{\end{mdframed}}
 #+LATEX_HEADER_EXTRA: \BeforeBeginEnvironment{verbatim}{\begin{mdframed}[linecolor=gray,backgroundcolor=green!5]}
@@ -35,6 +41,8 @@
 #+LATEX_HEADER_EXTRA: \BeforeBeginEnvironment{warning}{\begin{mdframed}[linecolor=red,backgroundcolor=red!5]}
 #+LATEX_HEADER_EXTRA: \AfterEndEnvironment{warning}{\end{mdframed}}
 
+#+LATEX_HEADER_EXTRA: \usepackage{mathpazo}
+
 * Introduction
 
 ~pugs~[fn:pugs-def] is a general purpose solver collection built to
@@ -657,6 +665,8 @@ expressions.
   two double quotes ( ~"~ ). The string /Hello world!/ would be simply
   written as ~"Hello world!"~. Strings support the following escape
   sequences (similarly to ~C++~):
+  #+LATEX: \definecolor{contiYellow}{RGB}{255,165,0}
+  #+LATEX: \rowcolors[]{2}{contiYellow!5}{contiYellow!20}
   | escape | meaning         |
   |--------+-----------------|
   | ~\'~     | single quote    |
diff --git a/src/language/modules/ModuleRepository.cpp b/src/language/modules/ModuleRepository.cpp
index 85810cbfc3f12bba920ae2ee99002be73f0db39d..74a8cb2d90b6ba950d3ac241f8750b7044c19c5d 100644
--- a/src/language/modules/ModuleRepository.cpp
+++ b/src/language/modules/ModuleRepository.cpp
@@ -207,7 +207,7 @@ ModuleRepository::getModuleInfo(const std::string& module_name) const
   auto demangleBuiltinFunction = [](const std::string& mangled_name) -> std::string {
     size_t i = 0;
     for (; i < mangled_name.size(); ++i) {
-      if (mangled_name[i] == '(')
+      if (mangled_name[i] == ':')
         break;
     }
     return mangled_name.substr(0, i);