r208380 - Fix filename in file header comment.

[Rafael Espíndola]

On 9 May 2014 03:36, Chandler Carruth <chandlerc at google.com> wrote:
> Having had to update these *soo* often, it has actually taken a non-trivial
> amount of my time. Emphatic +1 to moving on.
>
> I'll volunteer to propose and implement the change for everything.

Thanks!

On Alps note, the one thing I have found useful in the past is having
a line with exactly 80 characters in it to size editor windows.

Cheers,
Rafael