diff --git a/Readme.html b/Readme.html
index 86b8d613..50b3eb63 100644
--- a/Readme.html
+++ b/Readme.html
@@ -283,7 +283,7 @@ <h2>Changes</h2>
 
 <p>-version 3.25
 <ul>
-    <li>GitHub Issue #72.
+    <li>GitHub Issue #72 (PR #231).
 </ul>
 
 <p>-version 3.24.1 on December 9, 2018