small fix for push notification registration