Minor push notification fix