fix a bug in less()