Pr636

Make sure that the file has the required header.