minor updates to fix problem with recent tfce commit