I added this line, because the existing code seemed inconsistent (it displays a message about the batch file, but not about the bash file)