Minor changes to the repo