Fix for broken push notifications