Update envir.js