Small changes in TODO file