Minor edit, fixing html