A few tweaks to the web interface js