Fix missing link in the documentation.