That would be fine, although right now the code doesn't handle it, because it would try to do `None['OPTIONS`]`