Correction to naming of the referenced repository