Fixing a Pervasive.compare.