Small bugfix in diversity.schema.json