diff --git a/windows_deliv/menu.bat b/windows_deliv/menu.bat
index f349163..17b0a95 100644
--- a/windows_deliv/menu.bat
+++ b/windows_deliv/menu.bat
@@ -1,7 +1,7 @@
 @echo off
 setlocal
-set TCCLECMD="C:\Program Files\JPSoft\TCCLE14x64\tcc.exe"
 set TCCLECMD="C:\apps\JPSoft\TCCLE14x64\tcc.exe"
+set TCCLECMD="C:\Program Files\JPSoft\TCCLE14x64\tcc.exe"
 
 echo EiffelStudio delivery:
 
@@ -25,8 +25,8 @@ if .%ERRORLEVEL%. == .4. GOTO starting_env
 if .%ERRORLEVEL%. == .5. GOTO bootstrap_env
 if .%ERRORLEVEL%. == .6. GOTO display_logs
 if .%ERRORLEVEL%. == .7. GOTO menu_gpl
-if .%ERRORLEVEL%. == .9. GOTO display_info
-if .%ERRORLEVEL%. == .10. goto end
+if .%ERRORLEVEL%. == .8. GOTO display_info
+if .%ERRORLEVEL%. == .9. goto end
 goto end
 
 :menu_gpl
@@ -35,11 +35,11 @@ echo EiffelStudio GPL delivery:
 @echo 1: make_delivery
 @echo 2: make_exes
 @echo 3: make_installation
-CHOICE /C 1234567iq /M " > selection:"
+CHOICE /C 123q /M " > selection:"
 if .%ERRORLEVEL%. == .1. GOTO make_delivery
 if .%ERRORLEVEL%. == .2. GOTO make_exes
 if .%ERRORLEVEL%. == .3. GOTO make_installations
-if .%ERRORLEVEL%. == .10. goto end
+if .%ERRORLEVEL%. == .4. goto end
 goto end
 
 :make_delivery