Fixing bad link noticed by @jmarkel