diff --git a/mps/code/config.h b/mps/code/config.h
index adee968a8f6..734ab21a876 100644
--- a/mps/code/config.h
+++ b/mps/code/config.h
@@ -412,7 +412,9 @@
 #define ARENA_DEFAULT_SPARE_COMMIT_LIMIT   ((Size)10uL*1024uL*1024uL)
 
 /* ARENA_DEFAULT_PAUSE_TIME is the maximum time (in seconds) that
- * operations within the arena may pause the mutator for. */
+ * operations within the arena may pause the mutator for.  The default
+ * is set for typical human interaction.  See mps_arena_pause_time_set
+ * in the manual. */
 
 #define ARENA_DEFAULT_PAUSE_TIME (0.1)