Tentative fix for #572: Huge performance loss in `String.array`