The reporter actually takes care of duplicate notifications (it uses sets internally) so it's unnecessary to do so here.