minor html tweaks