diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Revision history for ogma-language-smv
 
+## [1.16.0] - 2026-09-21
+
+* Version bump (1.16.0) (#606).
+* Remove unnecessary line breaks (#520).
+* Bump upper version constraint on `QuickCheck` (#545).
+
 ## [1.15.0] - 2026-07-21
 
 * Version bump (1.15.0) (#508).
diff --git a/ogma-language-smv.cabal b/ogma-language-smv.cabal
--- a/ogma-language-smv.cabal
+++ b/ogma-language-smv.cabal
@@ -18,7 +18,7 @@
 cabal-version:       2.0
 build-type:          Custom
 name:                ogma-language-smv
-version:             1.15.0
+version:             1.16.0
 homepage:            https://github.com/nasa/ogma
 bug-reports:         https://github.com/nasa/ogma/issues
 license:             Apache-2.0
@@ -99,7 +99,7 @@
 
   build-depends:
       base                       >= 4.11.0.0 && < 5
-    , QuickCheck                 >= 2.8.2    && < 2.17
+    , QuickCheck                 >= 2.8.2    && < 2.19
     , test-framework             >= 0.8.2    && < 0.9
     , test-framework-quickcheck2 >= 0.3.0.4  && < 0.4
 
diff --git a/tests/Main.hs b/tests/Main.hs
--- a/tests/Main.hs
+++ b/tests/Main.hs
@@ -30,8 +30,7 @@
 
 -- | Run all unit tests for the SMV parser.
 main :: IO ()
-main =
-  defaultMainWithOpts tests mempty
+main = defaultMainWithOpts tests mempty
 
 -- | All unit tests for the SMV parser.
 tests :: [Test.Framework.Test]