minor modifactions to push to git