patch for occasional ArrayIndexOutOfBounds