cosmetic fix for gitignore