Fix up TODO