another fix for array-store-all printing