updating ndisc.c