minor change of gitignore