Fix an error in the Repo docs