diff --git a/docs/subsystems/dependencies.md b/docs/subsystems/dependencies.md
index 6399d3566a..c2153452ef 100644
--- a/docs/subsystems/dependencies.md
+++ b/docs/subsystems/dependencies.md
@@ -7,7 +7,7 @@ Zulip has, and how we manage them.  Zulip's dependency management has
 some really nice properties:
 
 * **Fast provisioning**.  When switching to a different commit in the
-  Zulip project with the same dependencies, it takes under 10 seconds
+  Zulip project with the same dependencies, it takes under 5 seconds
   to re-provision a working Zulip development environment after
   switching.  If there are new dependencies, one only needs to wait to
   download the new ones, not all the pre-existing dependencies.