diff --git a/doc/index.html b/doc/index.html
index 806315f91..2d23437d6 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -1120,11 +1120,11 @@
 <a href="https://koka-lang.github.io/koka/doc/book.html" data-linkid="kokabook" class="button learn" target="_top">Documentation</a>
 <a href="https://github.com/koka-lang/koka" data-linkid="kokarepo" class="button learn" target="_top">Github</a></p>
 <div class="smaller" style="font-size:smaller">
-<p class="p noindent">Note: Koka v2 is a research language that is currently under development
-and not ready for production use. 
+<p class="p noindent">Note: Koka v3 is a research language that is currently under development
+and not ready for production use.
 Nevertheless, the language is stable and the compiler
-implements the full specification. The main things lacking at the moment are 
-libraries, package management, and deep IDE integration. 
+implements the full specification. The main things lacking at the moment are
+(async) libraries and package management.
 </p>
 <div class="news">
 <p class="p noindent">News: