diff --git a/src/parse.rs b/src/parse.rs
index d9d700e..269a5d3 100644
--- a/src/parse.rs
+++ b/src/parse.rs
@@ -6,7 +6,7 @@ mod terms;
 
 pub(crate) use helpers::word_boundary;
 pub(crate) use literals::{boolean, integer, special_integer, string};
-pub use names::{function_or_predicate_name, variable_name};
+pub(crate) use names::{function_or_predicate_name, variable_name};
 pub use terms::term;
 pub use formulas::formula;
 
diff --git a/src/parse/terms.rs b/src/parse/terms.rs
index 46bbb86..8dd1fed 100644
--- a/src/parse/terms.rs
+++ b/src/parse/terms.rs
@@ -2,15 +2,15 @@ use nom::
 {
 	IResult,
 	branch::alt,
-	bytes::complete::{escaped_transform, tag},
-	character::complete::{multispace0, none_of},
+	bytes::complete::tag,
+	character::complete::multispace0,
 	combinator::{map, opt},
 	multi::{many1, separated_list},
 	sequence::{delimited, pair, preceded, terminated},
 };
 
 use super::{Declarations, boolean, function_or_predicate_name, integer, special_integer, string,
-	variable_name, word_boundary};
+	variable_name};
 
 fn negative<'i>(i: &'i str, d: &Declarations) -> IResult<&'i str, crate::Term>
 {