Fix enforcement of is_ordered property.
More testing.