diff --git a/z3.spec b/z3.spec
index e197c84..ac4727b 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,10 +1,11 @@
+%undefine _package_note_flags
 # Tests are off by default because some of the tests require more memory than
 # the koji builders have available.
 %bcond_with test
 
 Name:           z3
 Version:        4.8.14
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -229,6 +230,9 @@ cd -
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
+- OCaml 4.13.1 rebuild to remove package notes
+
 * Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.14-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild