Fixing repository url in doc, thanks to ilan