Update incorrect file headers.

One of these was spotted in review by Rafael.