fixed <=> bug.