.bat extension clarification

clarified that there's no need to type the .bat extension at the command
line