Be explicit about source of ungroup()