small improvement on gitignore