It's not a huge deal; let's just leave it. For future changes it might be good to turn it off, just to avoid adding noise to the review.