Fix a documentation href