Fix wrong directory name of git repository