Fix strict weak ordering function