Fix bug in all_less all_more