diff -r 9c697c7ad8d6 -r 63721ee8c86c NEWS
--- a/NEWS	Mon Mar 11 23:02:18 2019 +0100
+++ b/NEWS	Tue Mar 12 15:34:33 2019 +0100
@@ -309,10 +309,10 @@
 * System option "checkpoint" has been discontinued: obsolete thanks to
 improved memory management in Poly/ML.
 
-* Poly/ML 5.8 allows to use the native x86_64 platform without the full
-overhead of 64-bit values everywhere. This special x86_64_32 mode
-provides up to 16GB ML heap, while program code and stacks are allocated
-elsewhere. Thus approx. 5 times more memory is available for
+* Update to Poly/ML 5.8 allows to use the native x86_64 platform without
+the full overhead of 64-bit values everywhere. This special x86_64_32
+mode provides up to 16GB ML heap, while program code and stacks are
+allocated elsewhere. Thus approx. 5 times more memory is available for
 applications compared to old x86 mode (which is no longer used by
 Isabelle). The switch to the x86_64 CPU architecture also avoids
 compatibility problems with Linux and macOS, where 32-bit applications