Small change related to array bounds checking (patch by Andrei Lascu)