minor updates in the repo