Another small update to .gitignore