Small fix for spreadsheet name change, launch.bat