Fixes URL pointing to HTML manpage.