Changed .gitignore in a trivial way.