Fix getRegionOfDefinition