Correct the license in the comments of the c file