Fix filename type