Fixed a bug in push-notification.js.