A Type miss is corrected.