NEWS

--- a/NEWS	Mon Apr 14 13:57:48 2025 +0200
+++ b/NEWS	Mon Apr 14 20:19:05 2025 +0200
@@ -44,7 +44,7 @@
 Minor INCOMPATIBILITY.
 
 * If "HOL-Library.Code_Target_Nat" is imported, bit operations on nat are
-implemented by bit operations on target-language integer.
+implemented by bit operations on target-language integers.
 Minor INCOMPATIBILITY.
 
 * Theory "HOL.Fun":