diff --git a/README.md b/README.md
index d90c2a3..b961399 100644
--- a/README.md
+++ b/README.md
@@ -151,7 +151,7 @@ and a comparison between alternatives
         ```
 
     As of 2022-02-08,
-    there are 47 differences in a set of 38955 derivations
+    there are 47 differences in a set of 36278 derivations
     because of things like this:
 
     ```
diff --git a/buildkite.yaml b/buildkite.yaml
index 0097f4d..dec334d 100644
--- a/buildkite.yaml
+++ b/buildkite.yaml
@@ -37,6 +37,8 @@ steps:
   - echo +++ Closure diff
   - git diff --no-index before after || true
   - git diff --no-index before after --shortstat || true
+  - echo +++ Derivations
+  - grep -c drvPath= after
 
 - label: flake check
   command: