Fixed a link problem for bug #8365.