casting is no more needed (was when Iterable was used)