Fix error with user class implementing Iterable