The same lines in other sources have a TODO referring to a particular bug: could you add it here so we don't miss this one when the bug fix is available?