Fix filename in comment