Some fixes in DefaultEnumerationCache