diff --git a/qtest/make.ml b/qtest/make.ml
index 300029fa..42b1bfd4 100644
--- a/qtest/make.ml
+++ b/qtest/make.ml
@@ -17,7 +17,6 @@ let is_code file = is_suffix ~sub:".ml" file || is_suffix ~sub:".mli" file
 
 let do_not_test file =
   assert (not (is_suffix ~sub:"make.ml" file));
-  str_sub ~sub:"Label" file ||
   is_suffix ~sub:"containers.ml" file ||
   is_suffix ~sub:"containers_top.ml" file ||
   is_suffix ~sub:"mkflags.ml" file ||
diff --git a/src/core/CCArrayLabels.ml b/src/core/CCArrayLabels.ml
index fdf51544..deaf273a 100644
--- a/src/core/CCArrayLabels.ml
+++ b/src/core/CCArrayLabels.ml
@@ -2,3 +2,17 @@
 (* This file is free software, part of containers. See file "license" for more details. *)
 
 include CCArray
+
+(*$inject
+  module type A = module type of CCArray
+  module type AL = module type of CCArrayLabels
+*)
+
+(*$R
+  ignore (module CCArrayLabels : A)
+*)
+
+(*$R
+  ignore (module CCArray : AL)
+*)
+