It's OK to leave it IMO, I agree with your reasoning.