- Fixed bug wrt array <= comparison