Small fix in UndirectedEdge.equals()