a few html tweaks