fixes for equals() method in PrefetchPair