couple of little HTML tweaks