Updated TODO; formatting changes