IHMO this check would not be strictly necessary here.