diff --git a/src/Juvix/Compiler/Store/Scoped/Data/InfoTable.hs b/src/Juvix/Compiler/Store/Scoped/Data/InfoTable.hs
index 7b07eaeb29..188ec04623 100644
--- a/src/Juvix/Compiler/Store/Scoped/Data/InfoTable.hs
+++ b/src/Juvix/Compiler/Store/Scoped/Data/InfoTable.hs
@@ -26,6 +26,7 @@ data InfoTable = InfoTable
     _infoInductives :: HashMap NameId (InductiveDef 'Scoped),
     _infoConstructors :: HashMap NameId (ConstructorDef 'Scoped),
     _infoAxioms :: HashMap NameId (AxiomDef 'Scoped),
+    -- | Contains the builtins defined in itself *and* its local modules
     _infoBuiltins :: BuiltinsTable,
     _infoScoperAlias :: HashMap S.NameId PreSymbolEntry
   }