Minor textual fixes
Update TODO