Adding some missing GPL headers - Alex