Update TODO.
Added a const to the 64-bit Petra conversion.

Forgot that in my previous commit.