I can't think of any examples where that won't be the case. So it might make more sense to change ArrayProperty so it doesn't save the options, instead of extracting the value here.