minor changes in gitignore