Fix a broken reference in the docs