diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/BoundSpecific.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/BoundSpecific.qll
index 9d36d6a81b5..cbf395c24f4 100644
--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/BoundSpecific.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/BoundSpecific.qll
@@ -1,6 +1,8 @@
 /**
  * Provides C#-specific definitions for bounds.
  */
+overlay[local?]
+module;
 
 private import csharp as CS
 private import semmle.code.csharp.dataflow.SSA::Ssa as Ssa
@@ -9,7 +11,7 @@ private import semmle.code.csharp.dataflow.internal.rangeanalysis.RangeUtils as
 private import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtils as SU
 private import codeql.rangeanalysis.Bound as SharedBound
 
-/** Holds if `e` is a bound expression and it is not an SSA variable read. */
+/** Provides C#-specific definitions for bounds. */
 module BoundDefs implements SharedBound::BoundDefinitions<CS::Location> {
   class Type = CS::Type;