slight change of gitignore