small changes in gitignore