Some JS tweaks.