minor change to annotations for enumerable