minor js/html tweaks