diff --git a/src/latex.c b/src/latex.c
index 2e4904a..5f362d9 100644
--- a/src/latex.c
+++ b/src/latex.c
@@ -12,6 +12,7 @@
 #include "tracebuf.h"
 #include "varbuf.h"
 #include "output.h"
+#include "latex.h"
 
 //! Multiplication factor for distance between events in an MSC diagram.
 #define EVENTSPACE 1
@@ -134,7 +135,7 @@ latexTermPrint (Term term, Termlist highlight)
   if (realTermTuple (term))
     {
       printf ("(");
-      latexTermTuplePrint (term);
+      latexTermTuplePrint (term, highlight);
       printf (")");
       return;
     }
diff --git a/src/latex.h b/src/latex.h
index 7b1d074..e447395 100644
--- a/src/latex.h
+++ b/src/latex.h
@@ -12,8 +12,6 @@ void latexDone(const System sys);
 void latexTimers(const System sys);
 void latexMSCStart();
 void latexMSCEnd();
-void latexDeclInst(const System sys);
-void latexMessagePrint(const System sys, int from, int to);
 void latexLearnComment(const System sys, Termlist tl);
 void latexTracePrint(System sys);
 void attackDisplayLatex(System sys);