Fix the renaming problem.

I forgot to change the link file name in html after the previous renaming
commit.