True, I'd also prefer do avoid it. But don't you think it is a bit overkill here?