Tweaks to the .gitignore