Minor update for git ignore