diff --git a/.circleci/config.yml b/.circleci/config.yml
index 1cfbca05..c900afdb 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -166,7 +166,7 @@ jobs:
       - when:
           condition:
             not:
-              equal: [ openssl@3.1, << parameters.OPENSSL_PREINSTALL >> ]
+              equal: [ openssl@3, << parameters.OPENSSL_PREINSTALL >> ]
           steps:
             - run:
                 name: Clone and build OpenSSL(3) master
@@ -186,7 +186,7 @@ jobs:
                   fi
       - when:
           condition:
-              equal: [ openssl@3.1, << parameters.OPENSSL_PREINSTALL >> ]
+              equal: [ openssl@3, << parameters.OPENSSL_PREINSTALL >> ]
           steps:
             - run:
                 name: Build OQS-OpenSSL provider
@@ -301,12 +301,12 @@ workflows:
       - macOS:
           name: macOS-shared
           CMAKE_ARGS: -DBUILD_SHARED_LIBS=ON -DOQS_DIST_BUILD=OFF -DOQS_ENABLE_KEM_CLASSIC_MCELIECE=OFF
-          OPENSSL_PREINSTALL: openssl@3.1
+          OPENSSL_PREINSTALL: openssl@3
       - macOS:
           name: macOS-static
           OQS_PROVIDER_BUILD_STATIC: true
           CMAKE_ARGS: -DOQS_DIST_BUILD=OFF -DOQS_ENABLE_KEM_CLASSIC_MCELIECE=OFF
-          OPENSSL_PREINSTALL: openssl@3.1
+          OPENSSL_PREINSTALL: openssl@3
   on-main-branch:
     when:
       or:
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index bcd1793f..32457c5d 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -37,7 +37,7 @@ run the following command in the project main directory prior to finishing a PR:
 If encountering CI errors in CircleCI, it may be helpful to execute the test jobs
 locally to debug. This can be facilitated by executing the command
 
-   circleci local execute --job some-test-job
+   circleci local execute some-test-job
 
 assuming "some-test-job" is the name of the test to be executed and the CircleCI
 [command line tools have been installed](https://circleci.com/docs/local-cli).