Fixing GPL licensing