Deleted TODO

Now that #74 has been filed.