Small modification in gitignore