Improvements to the TL-postable code.