Small modification on the .gitignore