make GPLv3 more explicit