diff --git a/appveyor-build.cmd b/appveyor-build.cmd
index 331c09332f2..b6abcaffc7b 100644
--- a/appveyor-build.cmd
+++ b/appveyor-build.cmd
@@ -294,7 +294,8 @@ if '%TEST_VS%' == '1' (
 
 @echo on
 call src\update.cmd release -ngen
-call vsintegration\update-vsintegration.cmd release
+REM This clobbers the installed F# SDK on the machine
+REM call vsintegration\update-vsintegration.cmd release
 pushd tests
 
 @echo on
diff --git a/jenkins-build.cmd b/jenkins-build.cmd
index 6cdf8e4d64e..0e5eb363620 100644
--- a/jenkins-build.cmd
+++ b/jenkins-build.cmd
@@ -22,7 +22,7 @@ goto :USAGE
 
 echo Usage:
 echo Builds the source tree using a specific configuration
-echo appveyor-build.cmd ^<debug^|release^>
+echo jenkins-build.cmd ^<debug^|release^>
 exit /b 1
 
 :ARGUMENTS_OK