Update domino-pure.js