diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4bd167e5..460d423c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,6 +20,7 @@ jobs:
     strategy:
       matrix:
         otp:
+          - "26.2"
           - "26.0"
           - "25.3"
           - "25.0"
@@ -28,12 +29,10 @@ jobs:
           - "23.2"
           - "23.0"
           - "22.3"
-          - "22.1" # 22.0 seg faults
           - "21.3"
-          - "21.0"
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Cache .plt directory
         uses: actions/cache@v3
         with:
@@ -45,30 +44,30 @@ jobs:
   examples:
     name: Test examples
     runs-on: ubuntu-latest
-    container: erlang:26.0
+    container: erlang:26.2
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Test examples
         run: make test-examples
 
   parallel-examples:
     name: Test examples in parallel
     runs-on: ubuntu-latest
-    container: erlang:26.0
+    container: erlang:26.2
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Test examples in parallel
         run: make test-parallel
 
   coverage:
     name: Code coverage
     runs-on: ubuntu-latest
-    container: erlang:26.0
+    container: erlang:26.2
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
       - name: Measure coverage
diff --git a/README.md b/README.md
index b2715fed..9329e545 100644
--- a/README.md
+++ b/README.md
@@ -195,7 +195,7 @@ incompatibilities between the two tools by now.
 <!-- Badges (alphabetically) -->
 [codecov badge]: https://codecov.io/gh/proper-testing/proper/branch/master/graph/badge.svg
 [commit badge]: https://img.shields.io/github/last-commit/proper-testing/proper.svg?style=flat-square
-[erlang versions badge]: https://img.shields.io/badge/erlang-21.0%20to%2026.0-blue.svg?style=flat-square
+[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2026.2-blue.svg?style=flat-square
 [hex pm badge]: https://img.shields.io/hexpm/v/proper.svg?style=flat
 [license badge]: https://img.shields.io/github/license/proper-testing/proper.svg?style=flat-square
 [release badge]: https://img.shields.io/github/release/proper-testing/proper.svg?style=flat-square
diff --git a/rebar.config b/rebar.config
index 3d3f48e6..1a03244e 100644
--- a/rebar.config
+++ b/rebar.config
@@ -1,6 +1,6 @@
 %%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2023 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2024 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>,
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -22,7 +22,7 @@
 %%% Author(s):   Manolis Papadakis and Kostis Sagonas
 %%% Description: Options for rebar/rebar3
 
-{minimum_otp_vsn, "21.0"}.
+{minimum_otp_vsn, "21.3"}.
 
 {erl_first_files, ["src/vararg.erl"]}.
 
diff --git a/src/proper_erlang_abstract_code.erl b/src/proper_erlang_abstract_code.erl
index 02b8ee4b..726d95e2 100644
--- a/src/proper_erlang_abstract_code.erl
+++ b/src/proper_erlang_abstract_code.erl
@@ -364,7 +364,7 @@ module() ->
 %%%      <li>Catch clause exception types (<code>'catch'</code>):
 %%%        <code>no_eclass, any_eclass, lit_eclass, var_eclass,
 %%%         bad_eclass</code></li>
-%%%      <li>Receive timouts (<code>'receive'</code>): <code>
+%%%      <li>Receive timeouts (<code>'receive'</code>): <code>
 %%%         lit_timeout, inf_timeout, var_timeout</code></li>
 %%%      <li>Function expressions (<code>'fun'</code>): <code>
 %%%         lambda, rec_lambda, local_mfa, ext_mfa, any_mfa</code></li>
diff --git a/test/proper_tests.erl b/test/proper_tests.erl
index eaa5f469..87b0ae55 100644
--- a/test/proper_tests.erl
+++ b/test/proper_tests.erl
@@ -1,6 +1,6 @@
 %%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2023 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2024 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>,
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -19,7 +19,7 @@
 %%% You should have received a copy of the GNU General Public License
 %%% along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-%%% @copyright 2010-2023 Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas
+%%% @copyright 2010-2024 Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 %%% @doc This module contains PropEr's Unit tests. You need the EUnit
@@ -1054,7 +1054,7 @@ false_props_test_() ->
      ?_fails(?FORALL(_, float(0.0,0.0), false)),
      ?_fails(fails(?FORALL(_, integer(), false))),
      ?_failsWith([16], ?FORALL(X, ?LET(Y,integer(),Y*Y), X < 15)),
-     ?_failsWith([0.0],
+     ?_failsWith([+0.0],
 		 ?FORALL(_, ?LETSHRINK([A,B], [float(),atom()], {A,B}), false)),
      ?_failsWith([], conjunction([{some,true},{thing,false}])),
      ?_failsWith([{2,1},[{group,[[{sub_group,[1]}]]},{stupid,[1]}]],