minor fix to last commit (gitignore)