Fix misleading output statement.
Update TODO.