minor html tweaking