navigationlib.php navigation_node_collection::remove fails

navigationlib.php:902 if ($node->key == $key && $node->type == $type)
This test always returns true for the first element of the $this->collection
Hard to find out why my theme was not removing the good item !

Solution :
if ($node->key === $key && $node->type === $type)
Maybe the test is not ok also l.2561 and l.4397 .

Thanks for your work.