Fixes #3.

Fixes file headers.