minor html/js snippet changes