Remove a TODO line. (Done in #25 and #28.)