diff --git a/formalization.yaml b/formalization.yaml
index faa199f..5a9ad58 100644
--- a/formalization.yaml
+++ b/formalization.yaml
@@ -14,13 +14,15 @@ sources:
     id: "https://doi.org/10.1186/s40687-014-0012-7"
     type: "article"
     location: "Theorem 4(i)"
-    relationship: "Formalizes, conditional on the Bombieri-Vinogradov Theorem"
+    relationship: "formalizes"
+    source_note: "Formalises the fact that the Bombieri-Vinogradov theorem implies it"
   - title: "Small gaps between primes"
     authors: [James Maynard]
     id: "https://doi.org/10.4007/annals.2015.181.1.7"
     type: "article"
     location: "Theorem 1.4, second inequality"
-    relationship: "Formalizes the fact that the Bombieri-Vinogradov theorem implies them"
+    relationship: "formalizes"
+    source_note: "Formalises the fact that the Bombieri-Vinogradov theorem implies it"
 
 classification:
   arxiv: [math.NT]