correction, and add TODO