Fix broken HTML tag.

Just a small broken HTML tag I found when browsing the documentation.