Fix the annotation on intersection()