Fix small typo in the TODO file