diff --git a/src/dotout.c b/src/dotout.c
index 4c9597e..456e321 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -1247,7 +1247,7 @@ printRunConstants (const System sys, const int run)
 //! Explain a run in two lines
 void
 printRunExplanation (const System sys, const int run,
-		     char *runrolesep, const char *newline)
+		     char *runrolesep, char *newline)
 {
   int hadcontent;
 
diff --git a/src/mgu.c b/src/mgu.c
index 343afac..542c444 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include "term.h"
 #include "termlist.h"
-#include "substitution.h"
 #include "mgu.h"
 #include "type.h"
 #include "debug.h"