Modify for new puzlet.js.