Fix gpl.txt