some minor changes in the repo