Bug in OSPF