Small change in gitignore-file