Update node-theseus.js