Uncommented some lines in PatchAndIndex.compatible().