What is the reason for this change? Is it referencing a different `pushManager`?