Typo fix in TODO