Fix a wrong documentation link in user doc.