use arXiv link

It seems like this got lost.