diff --git a/certora/DssVestMintable.spec b/certora/DssVestMintable.spec
index e1d65f59..bd21126a 100644
--- a/certora/DssVestMintable.spec
+++ b/certora/DssVestMintable.spec
@@ -76,7 +76,6 @@ rule rxdLessOrEqualTot(method f) filtered { f -> !f.isFallback } {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
 
diff --git a/certora/DssVestSuckable.spec b/certora/DssVestSuckable.spec
index 4871b0cd..0ed05e38 100644
--- a/certora/DssVestSuckable.spec
+++ b/certora/DssVestSuckable.spec
@@ -89,7 +89,6 @@ rule rxdLessOrEqualTot(method f)  {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;
 
diff --git a/certora/DssVestTransferrable.spec b/certora/DssVestTransferrable.spec
index e36b64d0..07e8e9a6 100644
--- a/certora/DssVestTransferrable.spec
+++ b/certora/DssVestTransferrable.spec
@@ -75,7 +75,6 @@ rule rxdLessOrEqualTot(method f)  {
 }
 
 // Verify fallback always reverts
-// Important as we are filtering it out from invariants and some rules
 rule fallback_revert(method f) {
     env e;