That's like the warning letters they used to send (maybe still do) that say "we noticed you claimed as a dependent someone who was also claimed on another return."  They didn't want to make an adjustment and get involved in a fight between former spouses.  It doesn't cost much to send a slap on the wrist and a reminder not to do it again next time.  If they got an amended return from it, so much the better.