Fix a typo in repo configuration