Re #6000. One more wrong slash in a file name