Update cervantes.js