Add a TODO for issue #7.