Fix Kernel#<=>