FIX: fix bug in RegionHolder