Some minor adjustments in gitignore