diff --git a/rotare-doc.tex b/rotare-doc.tex
index e3be15c3aa0d5167e4d5ba67013318bb5f8ef853..aa7b5cacf84a4e02bc47ad25dad4a92749c03dde 100644
--- a/rotare-doc.tex
+++ b/rotare-doc.tex
@@ -107,7 +107,7 @@ draft=false,            % toggle if draft version
 
 \newcommand{\describeOption}[4]{
   \par\noindent
-  \textbf{#1}
+  \textbf{\textsf{#1}}
   \if\relax\detokenize{#2}\relax
     % nothing
   \else
@@ -156,12 +156,12 @@ draft=false,            % toggle if draft version
 \label{part:user}
 \input{contents/user-install}
 \input{contents/user-usage}
-\input{contents/definitions}
 \input{contents/user-input}
 \input{contents/user-troubleshooting}
 
 \part{Technical documentation}
 \label{part:tech}
+\input{contents/definitions}
 %\input{contents/tech-architecture}
 \input{contents/tech-solvers}
 \input{contents/tech-extensions}