Hmmm, thanks for checking, that's very strange.  Yes, I think TODO is fine for now then.