Fix debug! usage in tutorial

Sorry, my change for #5916 wasn't correct -- it only worked by coincidence. This should actually work for any file name.