Minor adjustments to interning code.