Correct naming of this repository