Merge "Fix a TODO."