Settings: added missing GPL header