Minor updates to shiny.js