fix GPL header declaration