@lorenzo You changed a few of those option types to `mixed`. Does that make more sense in your opinion?