This todo has been turned into issue 45. Thus, I just deleted the todo.