Fix a minor HTML error.