Fix GPL license header.