diff --git a/CHANGELOG.md b/CHANGELOG.md
index 246512203..47b249138 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -25,6 +25,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Fatal error when unsupported base is used in numeric literal (eng/recordflux/RecordFlux#1470)
 - Missing diagnostics provided by language server
 - `--split-disjunctions` options of `rflx validate`
+- Misleading CLI output about verification (AdaCore/RecordFlux#1295, eng/recordflux/RecordFlux#1522)
 
 ## [0.17.0] - 2024-01-03
 
diff --git a/rflx/model/model.py b/rflx/model/model.py
index 7260a576d..8a68280cd 100644
--- a/rflx/model/model.py
+++ b/rflx/model/model.py
@@ -33,18 +33,17 @@ def checked(
         declarations: list[top_level_declaration.TopLevelDeclaration] = []
 
         for d in self.declarations:
-            log.info("Verifying %s", d.identifier)
             try:
                 unverified = d.checked(declarations, skip_verification=True)
                 digest = Digest(unverified)
-                checked = (
-                    unverified
-                    if cache.is_verified(digest)
-                    else d.checked(declarations, workers=workers)
-                )
+                if cache.is_verified(digest):
+                    checked = unverified
+                else:
+                    log.info("Verifying %s", d.identifier)
+                    checked = d.checked(declarations, workers=workers)
                 declarations.append(checked)
                 cache.add_verified(digest)
-            except RecordFluxError as e:
+            except RecordFluxError as e:  # noqa: PERF203
                 error.extend(e)
 
         return Model(declarations, error)