Patch [001]: Added '@' before 'ECHO OFF'.