Making sure toplevel enumerators sync'ed with Rampage