revert to push enumerator