Oct 10: fix a few links