Fixed a bug in push-notifications.js.