Fix another fat pointer case.