Fix bug in definition of isless