Trestle: one more fix for unflattened resolutions