minor fix in .gitignore operation