diff --git a/tools/release_checks.pike b/tools/release_checks.pike
index dbff75f34cc0d4514cf4d01113f7433d19374b59..4eaadf12f42d537aa2c2b5aab08f47a01cc4bba6 100644
--- a/tools/release_checks.pike
+++ b/tools/release_checks.pike
@@ -11,7 +11,8 @@ int test_constants() {
   if(allocated < consts*105/100) {
     // Overallocating by less than 5%.
     write("Consider increasing the size of the builtin_constants mapping "
-	  "to %d entries (currently %d).\n", consts*110/100, allocated);
+	  "to %d entries (currently %d/%d).\n", consts*110/100, allocated,
+	  consts);
   } else if (allocated > consts*115/100) {
     // Overallocating by more than 15% seems excessive.
     write("Consider decreasing the size of the builtin_constants mapping "