Fix filename in header comment