fix small bug in html