Slight annotations in TODO.