small fixes in html/js