Fix Bug in ArrayUtil.php