Markup fixes.

Some trivial markup fixes.