You can delete this `TODO`.  It appears to be correct.