Fix for double arrow misalignment in deeply nested arrays.

Addresses #733
Hm... I can't see them. Have you push them?