Fix software's name in the GPL.