[3sat,phoenix] Fix extraction (closes #11619)