Some html/js tweaking