Minor html tweaks