Fix for TermStubGenerator.