* Minor improvements in .gitignore