Depends on scriptname. If the script's filename contains a dot, it will be printed alongside the three other filenames. If it does not, only the three sugar filenames are printed. Maybe explicitly tell people that the first script is in the file called `script_1`, the second in `script_2` and the third in `script_3`?