Fix GPL for #80