Changed =< to <=