diff --git a/doc/faq.adoc b/doc/faq.adoc
index bd9a5f3b..ff1a18e3 100644
--- a/doc/faq.adoc
+++ b/doc/faq.adoc
@@ -1,5 +1,5 @@
 = Jason FAQ
-(for Jason 3.2)
+(for Jason 3.2+)
 :toc:
 :source-highlighter: pygments
 :pygments-style: jacamo
diff --git a/doc/install.adoc b/doc/install.adoc
index 4145576c..ce0c1656 100644
--- a/doc/install.adoc
+++ b/doc/install.adoc
@@ -1,6 +1,6 @@
 = Jason Installation
 
-1. Install link:https://www.oracle.com/java/technologies/javase/jdk17-archive-downloads.html[Java 17]
+1. Install link:https://www.oracle.com/java/technologies/javase/jdk21-archive-downloads.html[Java 21]
 2. Install link:https://code.visualstudio.com/download[Visual Sudio Code]
 3. [windows] Install a terminal & shell tool like link:https://gitforwindows.org/[GitBash]
 4. Install Jason:
@@ -21,5 +21,5 @@ sudo apt install jason-cli
 To test the installation, run the command `jason --version` in a terminal. The output should be as follows:
 
 ----
-Jason CLI 3.2
+Jason CLI 3.3.0
 ----
diff --git a/doc/release-notes.adoc b/doc/release-notes.adoc
index fb9f0a75..d772f6b7 100644
--- a/doc/release-notes.adoc
+++ b/doc/release-notes.adoc
@@ -21,7 +21,6 @@
 - update doc for new Jason web site: https://jason-lang.github.io
 
 
-
 == version 3.2 (2023-04-15)
 
 The main new feature of Jason 3.2 is the Jason Command Line Interface (*JasonCLI*). This tool is created to support the creation and monitoring of Jason application independently of IDEs. More information xref:./jason-cli/readme.adoc[here].