Minor edits to .gitignore