Correct program name stated in GPL.