Fix @file doc comments which don't match filename