diff --git a/mps/code/w3gen.def b/mps/code/w3gen.def
index aab9c32547f..03ebba93c95 100644
--- a/mps/code/w3gen.def
+++ b/mps/code/w3gen.def
@@ -13,8 +13,8 @@
 ;
 ; This file was initially generated by !Header: //info.ravenbrook.com/project/mps/branch/2004-12-15/dll/code/expgen.sh#4 !
 ; And since then has been hand-edited.  (But the result should be 
-; identical to what expgen.sh would produce, were it run on these
-; sources.  See MPS job001935.)
+; identical (apart from ordering) to what expgen.sh would produce, 
+; were it run on these sources.  See MPS job001935.)
 EXPORTS
 ; mps.h
 mps_ap_fill_with_reservoir_permit
@@ -75,6 +75,7 @@ mps_pool_check_fenceposts
 mps_telemetry_label
 mps_telemetry_intern
 mps_telemetry_control
+mps_alert_collection_set
 mps_definalize
 mps_finalize
 mps_message_gc_not_condemned_size