Fixing a minor bug in push notifications
Merge pull request #733 from bhariharan/unstable

Fixing a minor bug in push notifications