diff --git a/src/BernsteinExpansions.jl b/src/BernsteinExpansions.jl
index a59d3a9..45aac5c 100644
--- a/src/BernsteinExpansions.jl
+++ b/src/BernsteinExpansions.jl
@@ -20,7 +20,6 @@ include("implicit.jl")
 include("full.jl")
 
 export ImplicitBernsteinForm,
-       ExplicitBernsteinForm,
        FullBernsteinForm
 
 # Range enclosure methods
diff --git a/src/monomials.jl b/src/monomials.jl
index c4a153d..4d51fc2 100644
--- a/src/monomials.jl
+++ b/src/monomials.jl
@@ -239,7 +239,8 @@ function multivariate(m::AbstractMonomialLike, l::AbstractVector{Int},
 end
 
 # Bernstein coefficients for multivariate terms like 4x²y; uses linearity property
-function multivariate(t::AbstractTermLike, l::AbstractVector{Int}, dom::IntervalBox)
+function multivariate(t::AbstractTermLike, l::AbstractVector{Int},
+                      dom::IntervalBox{D,N}) where {D,N}
     m = monomial(t)
     α = coefficient(t)
     coeffs = multivariate(m, l, dom)
diff --git a/test/Aqua.jl b/test/Aqua.jl
new file mode 100644
index 0000000..09be5af
--- /dev/null
+++ b/test/Aqua.jl
@@ -0,0 +1,9 @@
+using BernsteinExpansions, Test
+import Aqua
+
+@testset "Aqua tests" begin
+    Aqua.test_all(BernsteinExpansions; ambiguities=false)
+
+    # do not warn about ambiguities in dependencies
+    Aqua.test_ambiguities(BernsteinExpansions)
+end
diff --git a/test/Project.toml b/test/Project.toml
index 857f220..889bc1e 100644
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -1,8 +1,10 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.8"
 DynamicPolynomials = "0.4 - 0.5"
 StaticArrays = "1.2"
diff --git a/test/runtests.jl b/test/runtests.jl
index 2033751..dbf07d3 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -35,3 +35,5 @@ end
 
 # TODO: add tests for multivariate (ref Smith's thesis)
 #
+
+include("Aqua.jl")