diff --git a/library/matrix/matrix.c b/library/matrix/matrix.c
index c8949ade3..efd002740 100644
--- a/library/matrix/matrix.c
+++ b/library/matrix/matrix.c
@@ -3244,7 +3244,7 @@ is_matrix(void)
   return TRUE;
 }
 
-void PROTO(init_matrix, (void));
+void init_matrix( void );
 
 void
 init_matrix(void)
diff --git a/library/random/yap_random.c b/library/random/yap_random.c
index fa33d4c92..dc8c84e42 100644
--- a/library/random/yap_random.c
+++ b/library/random/yap_random.c
@@ -22,7 +22,7 @@
 #include <windows.h>
 #endif
 
-void PROTO(init_random, (void));
+void init_random( void );
 
 static short a1 = 27314, b1 = 9213, c1 = 17773;
 
diff --git a/library/regex/regexp.c b/library/regex/regexp.c
index 330e76a9d..8fdcd7e07 100644
--- a/library/regex/regexp.c
+++ b/library/regex/regexp.c
@@ -32,7 +32,7 @@
 /* for the sake of NULL */
 #include <stdio.h>
 
-void PROTO(init_regexp, (void));
+void init_regexp( void );
 
 static int check_regexp(void) 
 {
diff --git a/library/tries/core_tries.c b/library/tries/core_tries.c
index aebc8d180..ffc0567d5 100644
--- a/library/tries/core_tries.c
+++ b/library/tries/core_tries.c
@@ -1364,7 +1364,7 @@ void traverse_and_save(TrNode node, FILE *file, int float_block) {
       if (YAP_IsAtomTerm(t))
 	  fprintf(file, "%lu %d %s%c ", ATOM_SAVE_MARK, index, YAP_AtomName(YAP_AtomOfTerm(t)), '\0');
       else  /* (ApplTag & t) */
-	fprintf(file, "%lu %d %s %d ", FUNCTOR_SAVE_MARK, index,
+	fprintf(file, "%lu %d %s %lu ", FUNCTOR_SAVE_MARK, index,
 		YAP_AtomName(YAP_NameOfFunctor((YAP_Functor)(~ApplTag & t))),
 		YAP_ArityOfFunctor((YAP_Functor)(~ApplTag & t)));
     } else