diff -r febdd4eead56 -r a851ce626b78 NEWS
--- a/NEWS	Sat Jul 11 06:21:02 2020 +0000
+++ b/NEWS	Sat Jul 11 06:21:04 2020 +0000
@@ -75,10 +75,10 @@
 into its components "drop_bit" and "take_bit".  INCOMPATIBILITY.
 
 * Session HOL-Word: Operations "bin_last", "bin_rest", "bin_nth",
-"bintrunc" and "max_word" are now mere input abbreviations.
+"bintrunc", "sbintrunc" and "max_word" are now mere input abbreviations.
 Minor INCOMPATIBILITY.
 
-* Session HOL-Word: Theory Z2 is not used any longer.
+* Session HOL-Word: Theory HOL-Library.Z2 is not imported any longer.
 Minor INCOMPATIBILITY.
 
 * Session HOL-Word: Operations lsb, msb and set_bit are separated