Small fix (translation cache management)