Correct a link to TestGen example