Minor change to make sure the repo rename is working