Small adjustment for gitignore