Fixes bugs in push notifications.