Fix bad repository for the sources (what happened here!?)