added missing GPL header