Pr646

Make sure that the file has the required header.