minor JS tweaks
JS tweaks