fixes for Int32Array