Possible bug in ospf_lsupd_receive