Fix bug in array4d.hpp