diff --git a/runtime/doc/version7.txt b/runtime/doc/version7.txt
index bdae492..a49eae7 100644
--- a/runtime/doc/version7.txt
+++ b/runtime/doc/version7.txt
@@ -7166,6 +7166,8 @@
 after recovery is compared to the original file contents.  When they differ
 the buffer is marked as modified.
 
+Use BASEMODLIBS instead of MODLIBS for Python configuration. (Michael Bienia)
+
 
 Added							*added-7.3*
 -----