....fix minor HTML typo