addendum to gitignore