Update pronto.js