a couple html tweaks