Minor changes to GPL header