Clarified parameters in push notification function