Slightly modifying .gitignore.