diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 845b11395..b88c74495 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -7,7 +7,7 @@ Version 4.3.2
 
 - Added support for FreeBSD. Z3 can be compiled on FreeBSD using g++. 
 
-- Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to false.
+- Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to true.
   Thanks to Julien Henry for reporting this problem.
 
 Version 4.3.1