Small HTML tweak.