please verify that that is the case (and use `.asScala`)