Correct allocation size for IE10