push.js fixed one more time