fixed bug in recognising array-types