Small updates on .gitignore