more frontend JS tweaks