Fixing file name in @file declaration