diff --git a/kernel/src/memory/term/builder.rs b/kernel/src/memory/term/builder.rs
index cc8820bff7dfd161f665ccc36c20f0cdedef4859..30c03aeb0aa9a130264903621021ff3fc324cc03 100644
--- a/kernel/src/memory/term/builder.rs
+++ b/kernel/src/memory/term/builder.rs
@@ -16,11 +16,12 @@
 use derive_more::Display;
 use im_rc::hashmap::HashMap as ImHashMap;
 
-use super::super::arena::Arena;
-use super::super::declaration::builder as declaration;
-use super::super::level::builder as level;
 use super::{DeBruijnIndex, Term};
 use crate::error::{Error, ResultTerm};
+use crate::memory::arena::Arena;
+use crate::memory::declaration::builder as declaration;
+use crate::memory::level::builder as level;
+use crate::error::{Error, ResultTerm};
 
 #[non_exhaustive]
 #[derive(Clone, Debug, Display, Eq, PartialEq)]