Fixing a minor bug in push notifications