Fix dependent type
Update documentation and links