some html tweaks