Correct a couple of minor types in some html.