Fix a broken link. It was using <ulink url=...> instead of
<link linkend=...>.