fix operator< bug