Looks like an assertion is needed here.