Fix ratchet push.js