Tidier file headers.

Most of them is gone.