Small fix in .gitignore.