Minor tweaks for more efficient javascript.