Fix bugs in TODO list