Minor change on .gitignore