Markup fix.

Just some trivial markup fix.