diff --git a/lama-spec.pdf b/lama-spec.pdf
index ecffa19aa..2fcc1799c 100644
Binary files a/lama-spec.pdf and b/lama-spec.pdf differ
diff --git a/spec/04.extensions.tex b/spec/04.extensions.tex
index d87512282..8e26de27f 100644
--- a/spec/04.extensions.tex
+++ b/spec/04.extensions.tex
@@ -62,7 +62,7 @@ correspondingly, then importing  "\lstinline|B|" after  "\lstinline|B|" will res
   \label{custom_infix_construct}
 \end{figure}
 
-\section{Lazy Values and Eta-extension}
+\section{Lazy Values and Eta-expansion}
 
 An expression
 
diff --git a/src/stdpath.ml b/src/stdpath.ml
index c85a32af0..fa0d92a24 100644
--- a/src/stdpath.ml
+++ b/src/stdpath.ml
@@ -1 +1 @@
-let path = "/home/db/.opam/4.07.1+fp/share/Lama"
+let path = "/home/db/.opam/4.08.1/share/Lama"
diff --git a/src/version.ml b/src/version.ml
index 807c52e76..6a2dbe21b 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.00, 2dbd6808a, Tue Sep 8 01:50:16 2020 +0300"
+let version = "Version 1.00, cba6a3e0d, Thu Sep 10 22:15:57 2020 +0300"