small change in git ignore