If you mark this as a TODO, then this means that you intend to change it eventually (or that someone else should). On the other hand, this is the documented behavior and so I assume that you don't intend to change it?