I'll remove it. However, in these cases I'm never sure which version I like better. It often helps readability to know *what* is ignored here.