Fixing one last mention of "bare repo"