Fix links, again

(see a09b9c737d521f6ab379262ceb3873d8a5ef7aa0)