cosmetic modifications to gitignore