A comment in the code would be good, as no one reading that will guess that's the behavior!