Fix issues causing unreliable or incorrect push notifications.