Quickfix for unordered set in options.decode()