diff --git a/LeanHoG/LoadGraph.lean b/LeanHoG/LoadGraph.lean
index 5df63f2..94662f4 100644
--- a/LeanHoG/LoadGraph.lean
+++ b/LeanHoG/LoadGraph.lean
@@ -47,7 +47,7 @@ unsafe def loadGraphAux (graphName : Name) (jsonData : JSONData) : Elab.Command.
   match jsonData.connectedComponents? with
   | .none => pure ()
   | .some data =>
-    let componentsCertificateName := certificateName graphName "CertificateI"
+    let componentsCertificateName := certificateName graphName "ConnectedComponentsCertificateI"
     let componentsCertificateQ : Q(ConnectedComponentsCertificate $graph) := connectedComponentsCertificateOfData graph data
     Elab.Command.liftCoreM <| addAndCompile <| .defnDecl {
       name := componentsCertificateName