fix typo of __lt__