Added missing smaler_than function.