Corrected header.

It is probably not a good idea to upload this gigantic file which is
already available online.
Added pdf files.