diff --git a/README.txt b/README.txt
index cf91355a44c1c305c84aac4db7aaab975f33f812..b73d8cffcffd057572fbe2dc1369b391cfa9e02d 100644
--- a/README.txt
+++ b/README.txt
@@ -97,8 +97,8 @@ OVERVIEW OF LEMMAS
   -----------------------
   VSTimeless   vsTimeless
   NewInv       vsNewInv
-  VSOpen       vsOpen
-  VSClose      vsClose
+  InvOpen      vsOpen
+  InvClose     vsClose
   VSTrans      vsTrans
   VSImp        vsEnt
   VSFrame      vsFrame