Refining restrict checks a bit.