Re #8882. Also forgot a directory separator.