Fix #843: Fix ArrayOps.toList