diff --git a/src/library/kernel_bindings.cpp b/src/library/kernel_bindings.cpp
index 21de2b9a71..be63a1b4f9 100644
--- a/src/library/kernel_bindings.cpp
+++ b/src/library/kernel_bindings.cpp
@@ -8,8 +8,8 @@ Author: Leonardo de Moura
 #include <string>
 #include "util/sstream.h"
 #include "util/script_state.h"
-#include "util/list_lua.h"
-#include "util/pair_lua.h"
+#include "util/lua_list.h"
+#include "util/lua_pair.h"
 #include "util/lua_named_param.h"
 #include "util/luaref.h"
 #include "kernel/abstract.h"
diff --git a/src/util/list_lua.h b/src/util/lua_list.h
similarity index 100%
rename from src/util/list_lua.h
rename to src/util/lua_list.h
diff --git a/src/util/pair_lua.h b/src/util/lua_pair.h
similarity index 100%
rename from src/util/pair_lua.h
rename to src/util/lua_pair.h
diff --git a/src/util/name.cpp b/src/util/name.cpp
index dc3236a333..552b32c1a8 100644
--- a/src/util/name.cpp
+++ b/src/util/name.cpp
@@ -19,7 +19,7 @@ Author: Leonardo de Moura
 #include "util/trace.h"
 #include "util/ascii.h"
 #include "util/object_serializer.h"
-#include "util/list_lua.h"
+#include "util/lua_list.h"
 
 namespace lean {
 constexpr char const * anonymous_str = "[anonymous]";