little style correction of TODO