diff --git a/general/docs/changelogs/ch1_7_1.md b/general/docs/changelogs/ch1_7_1.md
index 5d897104801dab36577e7a47fa276cab49d0c175..464ce96a44bbbf8ba03085aecaa3cd7757882336 100644
--- a/general/docs/changelogs/ch1_7_1.md
+++ b/general/docs/changelogs/ch1_7_1.md
@@ -1,8 +1,7 @@
 ### Changelog
-The high level changelog is available at http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#release. The [1.7.1 milestone](https://github.com/tlaplus/tlaplus/issues?q=is%3Aissue+milestone%3A1.7.1+is%3Aclosed) lists all completed issues.
-
-### Additional _noteworthy_ changes
+The high level changelog is available at http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#release. The [1.7.1 milestone](https://github.com/tlaplus/tlaplus/issues?q=is%3Aissue+milestone%3A1.7.1+is%3Aclosed) lists all completed issues:
 
+* Re-worked PlusCal/TLA+ divergence warning ([please manually remove 1.7.0 markers](https://github.com/tlaplus/tlaplus/issues/558), i.e. everything on the line following `\* BEGIN TRANSLATION`). https://github.com/tlaplus/tlaplus/issues/558 
 * TLC shows no error *trace* for violations of `TLC!Assert`, ... https://github.com/tlaplus/tlaplus/issues/461
 * NoClassDefError when running TLC on Java 1.8. https://github.com/tlaplus/tlaplus/issues/462
 * Dot visualization (graphviz) fails due to invalid character ! when spec uses instantiation https://github.com/tlaplus/tlaplus/issues/452
@@ -12,7 +11,6 @@ The high level changelog is available at http://research.microsoft.com/en-us/um/
 * Replace custom implementation of (heap) sort in TeX with java.utils.Arrays#sort https://github.com/tlaplus/tlaplus/issues/539
 * End support for liveness checking and multiple workers in DFID mode because both features are unreliable https://github.com/tlaplus/tlaplus/issues/548 https://github.com/tlaplus/tlaplus/issues/544
 * Multiline trace expressions fail to parse in Toolbox. defe0c74915b1c27c6af2fb55c8163f3574c8918
-* Re-worked PlusCal/TLA+ divergence warning (please manually remove [1.7.0 markers](https://github.com/tlaplus/tlaplus/releases/tag/v1.7.0)). f1cf514c3b334b0968a5ac7fdf14d3e93905b14c e434e139adebf73ed8f9470117031f1ad4b749df 7c61d1a70f03fe4e54142f59487af90745386b74
 * Upgrade Eclipse foundation to its 2020-06 release for better HiDPI support. https://github.com/tlaplus/tlaplus/issues/472
 * Toolbox intermittently shows no error trace on an invariant violation https://github.com/tlaplus/tlaplus/issues/538