Fix regarding .gitignore