Correct upper bound of domain.