diff --git a/src/Edit/Interface/edit_footer.cpp b/src/Edit/Interface/edit_footer.cpp
index 88aebb5aac..f372fb3d2c 100644
--- a/src/Edit/Interface/edit_footer.cpp
+++ b/src/Edit/Interface/edit_footer.cpp
@@ -99,7 +99,7 @@ edit_interface_rep::set_left_footer () {
 
 void
 edit_interface_rep::set_right_footer (tree r) {
-  SERVER (set_right_footer (translate (r)));
+  SERVER (set_right_footer (serialize (r)));
 }
 
 tree
diff --git a/src/System/Language/dictionary.cpp b/src/System/Language/dictionary.cpp
index 42c806e7ce..af8956aefa 100644
--- a/src/System/Language/dictionary.cpp
+++ b/src/System/Language/dictionary.cpp
@@ -260,7 +260,7 @@ tree_translate (tree t) {
 * Translate and serialize
 ******************************************************************************/
 
-static string
+string
 serialize (tree t) {
   if (is_atomic (t))
     return t->label;
diff --git a/src/System/Language/dictionary.hpp b/src/System/Language/dictionary.hpp
index 20411b9ffa..454b2876bc 100644
--- a/src/System/Language/dictionary.hpp
+++ b/src/System/Language/dictionary.hpp
@@ -32,6 +32,7 @@ struct dictionary_rep: rep<dictionary> {
   string translate (string s, bool guess=true);
 };
 
+string serialize (tree t);
 dictionary load_dictionary (string from, string to);
 void force_load_dictionary (string from, string to);
 void set_input_language (string s);