Filename fix

Maybe you will find a chirurgical solution for the big hammer commit. But I think that si fine. At least it works for me