Very minor HTML revisions