Fix typo in TODO