added missing GPL headers