fix stupid __lt__