updating ndisc.h