diff --git a/doc/userman/fclangversion.tex b/doc/userman/fclangversion.tex
index d6b7a089a74612c9f63fc21901c4fa519e8bb99c..5e5f77157d64cd48e1abf4921ccaf61aa1d8c013 100644
--- a/doc/userman/fclangversion.tex
+++ b/doc/userman/fclangversion.tex
@@ -1,4 +1,4 @@
-\newcommand{\version}{0.1-REVIEW\xspace}
-\newcommand{\fclangversion}{0.1.0-REVIEW\xspace}
-\newcommand{\fcversion}{Potassium\xspace}
+\newcommand{\version}{0.0.7\xspace}
+\newcommand{\fclangversion}{0.0.7\xspace}
+\newcommand{\fcversion}{19.0~Potassium\xspace}
 \newcommand{\clangversion}{6.0-8.0\xspace}