Reformat header
Add GPL3 header