Check in these files that were forgotten.