Fix minor issues in HTML guide.