minor change to git ignore