Update insertation.c