Added support for Benedikt's multiset extension.