Minor correction in TODO file