Fixing Pervasives.equality in extraction.