Fix typos in push notifications guide example