Fix link to #7